• теорема о биссектрисе
• теорема о голоморфности
• теорема о делимости
• теорема о неисчислимости
• теорема о неэквивалентности